翻訳と辞書 Words near each other ・ CompuServe Inc. v. Cyber Promotions, Inc. ・ CompuServe Information Manager ・ CompuServe, Inc. v. Patterson ・ Compuspec ・ Compustat ・ Computability ・ Computability in Europe ・ Computability logic ・ Computability theory ・ Computable analysis ・ Computable Document Format ・ Computable function ・ Computable general equilibrium ・ Computable isomorphism ・ Computable measure theory ・ Computable model theory ・ Computable number ・ Computable real function ・ Computable topology ・ Computacenter ・ Computación y Sistemas ・ Computaris ・ Computation ・ Computation and Neural Systems ・ Computation history ・ Computation in the limit ・ Computation of cyclic redundancy checks ・ Computation of radiowave attenuation in the atmosphere ・ Computation offloading ・ Computation tree Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Computable model theory ： ウィキペディア英語版 Computable model theory Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. ==History== It was developed almost simultaneously by mathematicians in the West, primarily located in the United States and Australia, and Soviet Russia during the middle of the 20th century. Because of the Cold War there was little communication between these two groups and so a number of important results were discovered independently. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Computable model theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.